L’interaction métaphorique : une grandeur algébrique

Test de conformité : une approche algébrique

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...

Treillis Relationnel : Une Structure Algébrique pour le Data Mining Multi-Dimensionnel

Constrained multidimensional patterns differ from the well known frequent patterns from a conceptual and logical points of view because they are structured and support various types of constraints. Classical data mining techniques are based on the power set lattice and, even extended, are not suitable when addressing the discovery of multidimensional patterns. In this paper we propose a foundat...

Une approche algébrique pour la réutilisation et l'orchestration de services dans les sysèmes d'information

RÉSUMÉ. Dans les systèmes d’information, il est aujourd’hui essentiel de mettre en œuvre rapidement et sans développements lourds de nouvelles fonctionnalités en réponse aux évolutions métiers, en réutilisant au mieux les services déjà présents. Dans le contexte de l’accès à des informations dispersées au sein d’une fédération de systèmes indépendants, nous adressons ici le problème de découver...

Sur les ensembles de mots infins engendrés par une grammaire algébrique

Un langage algébrique particulier

— 11 is well-known that thefamily of context-free languages is a full principal AFL. It thus contains a largestfûll sub-AFL, denoted Nge, consisting ofthe languages which are notfull generators. One ofthe major problems (still unsolved) is to know whether this AFL is principal or not. The main resuit in this direction states that Ngestrictly contains thefamily Gre ofthe Greibach languages ( — t...